Citizens Obligations

Physician-citizens--public roles and professional obligations.

Although leaders and other commentators have called for the medical profession's greater engagement in improving systems of care and population health, neither medical education nor the practice environment has fostered such engagement. Missing have been a clear definition of physicians' public roles, reasonable limits to what can be expected, and familiarity with tasks that are compatible with...

Co-national Obligations & Cosmopolitan Obligations towards Foreigners

On Obligations

Access control is concerned with granting access to sensitive data based on conditions that relate to the past or present, so-called provisions. Expressing requirements from the domain of data protection necessitates extending this notion with conditions that relate to the future. Obligations, in this sense, are concerned with commitments of the involved parties. At the moment of granting acces...

Proof Obligations Preserving Compilation

The objective of this work is to study the interaction between program verification and program compilation, and to show that the proof that a source program meets its specification can be reused to show that the corresponding compiled program meets the same specification. More concretely, we introduce a core imperative language, and a bytecode language for a stack-based abstract machine, and a...

Uptake by Conditional Obligations

Dialogues are generated in a joint process of offering and accepting moves. Depending on the dialogue genre, there is usually one participant who takes the initiative; other participants respond to the initiative. In this paper, we further investigate the process of uptake [1, 4]. Essentially, an initiative is ambivalent. The way in which an initiative is ‘taken up’, allows the responder to mod...